The papers on this list are available online, but I downloaded some of them to the course website for the use of students in this course only. UK students can access many papers from off-campus through the university's digital subscriptions by going to the library's database portal.

You should know about these Software Engineering journals: Springer's Empirical Software Engineering journal, IEEE Transactions on Software Engineering (TSE), ACM's Transactions on Software Engineering and Methodologies (TOSEM), and Springer's Requirements Engineering journal; and these conferences: International Conference on Software Engineering (ICSE), Automated Software Engineering (ASE), Foundations of Software Engineering (FSE), IEEE Conference on Requirements Engineering (RE), International Conference on Software Testing and Verification and Validation (ICST), and International Conference on Software Maintenance and Evolution (ICSME).

I. Software and Requirements Engineering Overview

1. Barry W. Boehm, "Software engineering," IEEE Trans. On Computers, 25(12):1226-1241, 1976. local copy
2. Michael Jackson, “The World and the Machine,” Proceedings of the 17th International Conference on Software Engineering, 1995,pp. 283-292. Jackson paper
3. B. H. C. Cheng and J. M. Atlee, "Research Directions in Requirements Engineering," Future of Software Engineering (FOSE '07), Minneapolis, MN, 2007, pp. 285-303. doi: 10.1109/FOSE.2007.17 Cheng paper, under Notes, Part 1
4. Ambriola, V. & Gervasi, V. "Processing Natural Language Requirements," 12th International Conference on Automated Software Engineering, Lake Tahoe, USA, 3-5 November 1997, pp. 36-45. Ambriola paper

How science really works: Interesting website

II. Technical Papers

A. Modeling and Formalism

1. () del Gobbo, D., Napolitano, M., Callahan, J. & Cukic, B., "Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme," 3rd High Assurance Systems Engineering Symposium, Washington, DC, USA, 13-14 November 1998. del Gobbo paper
2. () Heitmeyer, C. L., Jeffords, R. D. & Labaw, B. G., "Automated Consistency Checking of Requirements Specifications," IEEE Transactions on Software Engineering and Methodology, 5(3): 231-261. Heitmeyer paper, may need to be on Infokat
3. () Yu, E, "Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering," 3rd IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, USA, 6-10 January 1997, pp. 226-235. Yu paper, may need to be on Infokat

   B. Security

4. () Sindre, Guttorm ; Opdahl, Andreas "Eliciting security requirements with misuse cases,"" Requirements Engineering, 2005, Vol.10(1), pp.34-44 Sindre paper
5. () N. Ajmeri , C. Hang, S. D. Parsons and M. P. Singh, "Aragorn: Eliciting and Maintaining Secure Service Policies," IEEE Computer, vol. 50, no. 12, pp. 50-58, 2017. link - if not at UK, may need to be on infokat

   C. Analysis

6. () Ferrari, A. ; Dell'Orletta, F. ; Spagnolo, G.O. ; Gnesi, S., "Measuring and improving the completeness of natural language requirements,"" Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, Vol.8396, pp.23-38 link, may need infokat
7. () Potts, C., Takahashi, K. & Anton, A., "Inquiry-based requirements analysis," IEEE Software, 11(2): 21-32. Potts paper, may need Infokat
   7B. () Jane Huffman Hayes, Inies Chemannor, Ashlee Holbrook, Dave Pruett, "A Case History of International Space Station Requirement Faults," Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2006. Hayes paper
   7C. () Wenbin Li, Jane Huffman Hayes, and Miroslaw Truszczynski, "Towards More Efficient Requirements Formalization: A Study," Proceedings of 21st International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ) 2015 Li paper

   D. Elicitation

8. () Karlsson, J. & Ryan, K., "Prioritizing Requirements Using a Cost-Value Approach," IEEE Software: 67-74. Karlsson paper, may need Infokat
9. () Viller, S. & Sommerville, I., "Social Analysis in the Requirements Engineering Process: from ethnography to method," 4th International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, 7-11th June 1999. Viller paper, may need Infokat
10. () Boehm, B., Bose, P., Horowitz, E. & Lee, M. J., "Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach," 17th International Conference on Software Engineering (ICSE-17), Seattle, USA, 23-30 April 1995, pp. 243-254. Boehm paper
11. () Goguen, J. & Linde, C., "Techniques for Requirements Elicitation," 1st IEEE International Symposium on Requirements Engineering (RE'93),"San Diego, USA, 4-6th January 1993, pp. 152-164. Goguen paper, may need Infokat
12. () M. Mahaux, L. Nguyen, O. Gotel, L. Mich, A. Mavin and K. Schmid, "Collaborative creativity in requirements engineering: Analysis and practical advice," IEEE 7th International Conference on Research Challenges in Information Science (RCIS), Paris, 2013, pp. 1-10. Mahaux paper, may need Infokat

    E. Safety Analysis, Product Lines

13. () Lutz, R., Helmer, G., Moseman, M., Statezni, D. & Tockey, S., "Safety Analysis of Requirements for a Product Family," 3rd IEEE International Conference on Requirements Engineering (ICRE'98), Colorado Springs, USA, 6-10 April 1998, pp. 24-31. Lutz paper, may need Infokat
14. () Blanes Dominguez, David ; Insfrán Pelozo, César Emilio Universitat Politècnica De València, "A Comparative Study on Model-Driven Requirements Engineering for Software Product Lines," Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació ; Ministerio De Economía Y Competitividad (Mineco) 2012 Blanes paper

    F. Legal, Natural Language Processing

15. () Ferrari, Alessio; Dellorletta, Felice; Esuli, Andrea; Gervasi, Vincenzo; Gnesi, Stefania, "Natural Language Requirements Processing: A 4D Vision," IEEE Software, November/December 2017, Vol.34(6), pp.28-35 link - if not at UK, may need to be on infokat
16. () Amin Sleimi, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand, John Dann, "Automated Extraction of Semantic Legal Metadata using Natural Language Processing." Proceedings of the Requirements Engineering Conference (RE 2018): 124-135 link
17. () Maxwell, Jeremy C. ; Anton, Annie I. ; Swire, Peter, "A legal cross-references taxonomy for identifying conflicting software requirements," 2011 IEEE 19th International Requirements Engineering Conference, Aug. 2011, pp.197-206 Maxwell paper
    17B. () B. D. Cruz, B. Jayaraman, A. Dwarakanath and C. McMillan, "Detecting Vague Words & Phrases in Requirements Documents in a Multilingual Environment," 2017 IEEE 25th International Requirements Engineering Conference (RE), Lisbon, 2017, pp. 233-242. Cruz paper

    G. Traceability

18. () Jane Huffman Hayes, Alexander Dekhtyar, James Osborne, "Improving Requirements Tracing via Information Retrieval," Proceedings of the International Conference on Requirements Engineering (RE), Monterey, California, September 2003, pp. 138-148. local copy
19. () Hakim Sultanov, Jane Huffman Hayes, and Wei-Keat Kong, "Application of Swarm Techniques to Requirements Engineering: Requirements Tracing," Requirements Engineering Journal, June 2011. local copy
20. () Orlena Gotel and Anthony Finkelstein, "An Analysis of the requirements Traceability Problem," Proceedings of the International Conference on Requirements Engineering (RE), 1994, pp. 94-101. linked copy
21. () Antoniol, G. ; Canfora, G. ; Casazza, G. ; De Lucia, A. ; Merlo, E., "Recovering traceability links between code and documentation, IEEE Transactions on Software Engineering, Oct. 2002, Vol.28(10), pp.970-983. Antoniol paper, may need Infokat

    H. Ethics

22. () Carolina de Lima Salge, Nicholas Berente, ""Is that social bot behaving unethically," Communications of the ACM, 23 August 2017, Vol.60(9), pp.29-31 local copy

    Interesting links or other readings

    Publish in Conferences or Journals?

    How to critically read an engineering research paper
    

    Top